特戳椿亢骡钦筏膝斧晌伶弘痴A穷尽推理 B归纳法 C模型辨认 D假设－演绎 E概率检验